Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
001C98 | Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | An Implicit Characterization of PSPACE |
003074 | Marco Gaboardi [Italie] ; Romain Péchoux [France] | Global and Local Space Properties of Stream Programs |
003409 | Marco Gaboardi [Italie] ; Romain Péchoux [France] | Upper Bounds on Stream I/O Using Semantic Interpretations |
004127 | Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | A Logical Account of PSPACE |
004148 | Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | Soft Linear Logic and Polynomial Complexity Classes |
004465 | Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France] | A Logical Account of PSPACE |
This area was generated with Dilib version V0.6.33. |